- 2 402 202 книги
- Поиск
Logical Dilemmas: The Life and Work of Kurt Gödel
Автор: John W. Dawson, Автор: Jr.
Размер книги: 23.42 Mb
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Автор: Matthias Baaz, Автор: Christos H. Papadimitriou, Автор: Hilary W. Putnam, Автор: Dana S. Scott, Автор: Charles L. Harper
Размер книги: 3.80 Mb
Collected Works: Volume III: Unpublished essays and lectures (Collected Works of Kurt Godel)
Автор: Kurt Gödel
Размер книги: 49.54 Mb
Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)
Автор: Solomon Feferman, Автор: Charles Parsons, Автор: Stephen G. Simpson (eds)
Размер книги: 1.96 Mb
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis With the Axioms of Set Theory
Автор: Kurt GödelКатегория: Математика, Анализ
Размер книги: 830 Kb
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van Heijenoort
Размер книги: 13.27 Mb
Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)
Автор: Kurt Gödel, Автор: S. Feferman (Editor-in-Chief), Автор: John W. Dawson Jr., Автор: Warren Goldfarb, Автор: Charles Parsons, Автор: R. Solovay
Размер книги: 4.74 Mb
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings (Lecture Notes in Logic)
Автор: Petr Hajek
Размер книги: 31.81 Mb
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Автор: Kurt Gödel
Размер книги: 657 Kb
Collected works. Publications 1929-1936
Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van HeijenoortКатегория: Mathematical logic
Размер книги: 4.26 Mb
Collected works. Publications 1938-1974
Автор: Kurt Gödel, Автор: S. Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: G. Moore, Автор: R. Solovay, Автор: the late Jean van HeijenoortКатегория: Mathematical logic
Размер книги: 3.42 Mb
Collected Works: Volume I: Publications 1929-1936
Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van HeijenoortКатегория: Математика
Размер книги: 26.18 Mb
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Автор: Kurt Gödel
Размер книги: 3.98 Mb
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Автор: Kurt GödelКатегория: science_books, math
Размер книги: 476 Kb
Collected Works. - Unpublished essays and lectures
Автор: Kurt Gödel, Автор: S. Feferman (Editor-in-Chief), Автор: John W. Dawson Jr., Автор: Warren Goldfarb, Автор: Charles Parsons, Автор: R. SolovayКатегория: M_Mathematics, MW_Collected works
Размер книги: 4.67 Mb
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Автор: Kurt Gödel
Размер книги: 579 Kb